Constructible function - PDFSEARCH.IO - Document Search Engine

Constructible function
Results: 268

#	Item
21	CHERN CLASSES OF SPLAYED INTERSECTIONS PAOLO ALUFFI AND ELEONORE FABER Abstract. We generalize the Chern class relation for the transversal intersection of two nonsingular varieties to a relation for possibly singular va Add to Reading List Source URL: www.math.fsu.edu Language: English - Date: 2014-10-08 07:21:15 Mathematics Algebraic topology Algebraic geometry Chern class Segre class Constructible universe Z2 Inverse function Chow ring Abstract algebra Characteristic classes Topology
22	A Logic of Belief and Omission Hans van Ditmarsch∗ Department of Logic University of Sevilla Sevilla, Spain Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:13:55 Logical syntax Modal logic Philosophical logic Epistemic modal logic Constructible universe Proposition Doxastic logic Vacuous truth Function Logic Mathematical logic Propositional calculus
23	Additive Number Theory Examples SheetW. T. G. (i) Deduce the following extension of Roth’s theorem from Ruzsa’s lemma (and Add to Reading List Source URL: www.dpmms.cam.ac.uk Language: English - Date: 2003-03-25 07:42:57 Function Invariant theory Combinatorics Dyadic cubes Mathematics Constructible universe Ordinal number
24	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:43:37 Field theory Diophantine geometry Number theory P-adic number Valuation FO Local zeta-function Constructible universe Igusa zeta-function Abstract algebra Mathematics Algebra
25	Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent Foundation Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-11-27 15:43:03 Type theory Dependently typed programming Logic in computer science Proof theory Mathematical constructivism Function Intuitionistic type theory Axiom of choice Constructible universe Mathematical logic Mathematics Logic
26	Beyond Differential Privacy: Composition Theorems and Relational Logic for f -divergences between Probabilistic Programs Gilles Barthe and Federico Olmedo IMDEA Software Institute, Madrid, Spain {Gilles.Barthe,Federico.O Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Functional analysis Distribution Interpretation Divergence Function Constructible universe Continuous function Mathematical analysis Mathematics Generalized functions
27	THINK 37 (AND 37A) PROBLEM SET 6 This set is due by noon on Thursday, October 8 in the manilla envelope in Otis Chodosh’s mailbox. Write solutions to four of the following nine problems. As usual, pick problems suitab Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2012-11-03 00:55:03 Field theory Polynomials Algebraic numbers Equations Field extension Field Cubic function Constructible number Angle trisection Abstract algebra Mathematics Algebra
28	Probabilistic Relational Reasoning for Differential Privacy Gilles Barthe Boris K¨opf Federico Olmedo Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Generalized functions Data privacy Distribution Functional analysis Dirac delta function Differential privacy Vector space Constructible universe Exponential mechanism Mathematical analysis Algebra Mathematics
29	VOL. 50, 1963 MATHEMATICS: P. J. COHEN 1143 Add to Reading List Source URL: tobymeadows.files.wordpress.com Language: English - Date: 2010-06-14 22:03:08 Forcing Ordinal number Constructible universe Function Transfinite induction Zermelo–Fraenkel set theory Continuous function Axiom of choice Axiom schema of replacement Mathematical logic Mathematics Set theory
30	Improved bounds for bounded occurrence constraint satisfaction Johan H˚ astad Royal Institute of Technology May 19, 2015 Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2015-05-19 08:51:07 Expected value Polynomial Fourier analysis Operator theory Ordinary differential equations Spectral theory Probability theory Heat equation Dirac delta function Mathematical analysis Mathematics Constructible universe

UPDATE